$\forall$$M$:MsgA, $x$:Id, $v$:($\mathbb{Q}\rightarrow$$M$.ds($x$)). $M$.init($x$)?$v$ $\in$ $\mathbb{Q}\rightarrow$$M$.ds($x$)